-minor cosmetic tweaks