Fix bug in explicit disabling options in trimmed config