fix breakage caused by 'remove "Options:" string from help texts' commit