Corrections on options documentation