Fix some outdated doc comments.