It seems that this code was always unnecessary