JSON: why are forward slashes escaped