Made documentation haddock-compliant (though primitive)