Minor edits in the options