fix param specs for print_manifest/2,3