Fix json manipulator handling of escaped backslashes, fixes #1588