Fix serialisation bug, bump version number 1.1.12.