Comment on a weird line in options.c that looked like some code fell off.