A Limitation of the Type Tool