Fix cosmetic error