temporary hack to make serialization work in 3.2