Fix haddock, export function