Error code if some options are unknown.
Merge branch 'master' into reorder_pre_post