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