Minor amendment to history.