I wonder whether or not this line should be deleted.
It seems that it isn't related to this patch, but I don't know what it is for. Ideas?