Update a comment - remove now-outdated text.