Fixed outdated comment in option.c