some minor cosmetic tweaks