fix serialization issue introduced by pull request #114