fix Omer's minor comment