Fixed an obsolete comment