remove some anachronisms from the docs