Good point. I will fix that, but I will hold off committing it for a few
days to see if there are more substantial changes that should be done at
the same time.