minor edits to options