Dropped obsolete patch.