double hyphens are swallowed by themis javascript