minor cosmetic tweaks