Comment on a weird line in options.c that looked like some code fell off.
Merge branch 'bleeding-jumbo' into memdbg

* bleeding-jumbo:
  Comment on a weird line in options.c that looked like some code fell off.