(Final?) bug fix in configurable.lua