Fix formatting for ">=", which is used be to reformatted to "> ="