fixes to hackage badge in readme