Fix some cut&paste errors in the documentation