Minor tweaks for Hackage