Fixed a bug with the name of a type