Fix minor style issue