Minor typo in a regexp.