bug in option comment