fixed minor issue in type checker