Fix haddocks (#10)