trivial: remove extraneous the in regex