Minor cosmetic tweak