Fix bug in configuration