Javadoc improvements.
Javadoc improvements.
Javadoc improvements.
Simplify Option.toString().