fix a regex (missed escapes); partly fixing issue #8