Fix a bug in pretty printing of :set-option