Some haddocks and probably travis ci fix