Fixed bug in type definition