Minor fixes to config.lua.