Update HasRole.php

Just being picky; a space was missing before the first line in a comment so it didn't line up properly :)