remove a now obsolete comment