Fix serialization of the output, bump version to 0.5.3