Correct some outdated comments