Removed forgotten obsolete comment