some cosmetic tweaks