Fix another outdated comment.