Fixed a bug with the >= operator