Fixes typo: strict to weak inequality.