I think Bernard should have the additional `\\` as it provides are more correct match.