Fix encoding mistake: \ does not need extra encoding in regexp terms in javascript