this reverts a previous change (cosmetic, but it doesn't really make sense).