Move a little snippet about json serialisation
Fix haddock