I think this is one of the few occasions where `snd` is better.