Fixed a bug in correct clause