Remove an obsolete comment

Commit 86424f12e1be503b3c6d57a1ac2317d78d337376 added a regexp to address "TODO: use a regexp", but the TODO comment didn't get removed.