Quick revision

Fixed a type comparison error.