Haddock reader #806

Merged
merged 1 commit into from Mar 28, 2013