don't initialize history (it seems not to be necessary, though I'm not confident