Minor formatting in Comments.php