Doc fix for Hackage