Minor cosmetic change to the code.