Documentation tweaks before Hackage upload.