Fix example of configuration file options

Ready for immediate merge.