more lenient regexp for #2185