fix some references in the documentation