Correct a few documentation paths