minor cosmetic cleanup