I see. Is there any case (in practice) when one would not want to remove the dot? If (as I suspect) the case is "no", then excluding the backslash is good (both here and in the reverse mapping table) and would "fix" cases where a backslash was not included to start with. In that case, we should also revisit the forward mapping table, because it doesn't seem like we're handling `j` or `i` appropriately under most circumstances.