Yes, we should normalize there, and that indeed is my fault and warrants a Fixes tag. -- John Baldwin