Serialization error amended. Fixes #4