small improvements for Hackage