Use RichString.trimToOption