Changed Bad_Type to Bad_type to be more consistent (see Not_found exception)
Fixed input error in tests.