small modification: <= to ==