Minor fixes for Hackage upload