This comment doesn't seem necessary.