Minor cosmetic fix