Minore update in comments