Cursory eyeball tests look correct.