diff --git a/crlcore/doc/images/key_k.fig b/crlcore/doc/images/key_k_.fig similarity index 100% rename from crlcore/doc/images/key_k.fig rename to crlcore/doc/images/key_k_.fig diff --git a/crlcore/doc/images/key_k.png b/crlcore/doc/images/key_k_.png similarity index 100% rename from crlcore/doc/images/key_k.png rename to crlcore/doc/images/key_k_.png