Remove another 4.01ism.