Fixed a little style issue