OK for Hackage: say it!