Cosmetic tweaks in passing