Small fix to configuration