Fix a subtle bug in UCI options printing