Minor cosmetic fix.