an aux kernel for normalization #2865