Removed obsolete formalize images. Fixes #73