bump to version 1.3.1; better serialization