purely cosmetic, but can we have some whitespace around the >=

Thanks!