fixing typo in options printout