Ready for hackage release 1.3