This code lives in better formats elsewhere.