lojban: fix history.pushState