Minor cosmetic modifications