Fixing a small style issue