Cosmetic: Some changes were forgotten in f584cb991dfa67f018866eaaf3b54fb7cd10d39e.