Fixed a small semantic error