fixes for json encode