small edit in comments