Another minor update for the changes in options.c.