Fix memory leak in options.