Cosmetic: just replacing one global