fix a type checking bug that showed up on the other branch