javascript: fix some symbols in identifiers