I think we use \r elsewhere.