correct type definition