007_regex: minor tweaks to get regex to pass verification, although clearly it's broken.