Code added for saving a minimal image with Modulo annotation.