fix an old, OLD bug in the docs