This comment doesn't seem necessary anymore