Minor cosmetic cleanup.