This is very minor but we should probably not rewrite history.