json encoding bugfix