config.lua: Minor bug fix