This change doesn't seem necessary.