Small modifications for the 1.0 release on Hackage.