minor cosmetic changes to previous commit