json datetime encoding bugfix