Type correct