another small cosmetic fix