top25_freqs wasn't IO either, so make it first class again.