fix processing of some options