Fixed a semantic bug!