[Parser] Fixed type-checking bug