regexp (to be consistent with the rest of the file)