tiny fix to the haddocks

Somebody duplicated a record constructor, and copied and pasted the haddocks in the process, which makes the docs look bad.