fixed capitalization in type constructors