Bug fix in configurable