Fix incorrect javadoc.
Avoid unnecessary copying of option list.