This method actually guarantees that the result is a nonempty string, so there is no need to expose an Option.