Fixes issue #3094 in the code sample for the config file