Corrected modular acl2 metadata generation.