Minor documentation change s/>/>=/g