Fix (another) bug in DesignConfigurationExtension.