fixes for json serialisation