Minor cosmetic thingy.