Correct mawk regexp.