fixed a semantic error