Fixed error reporting location for type verification.