Documentation added (haddock)