more cosmetic tweaks