grep: delete obsolete comment