Fix small documentation error

Minor bug in the haddoc documentation.