[Logic] Fixed a bug in the previous commit.