Fix JSON encode