fixed semantic checking error