... oh, and I won't be patching this, given that it's been reverted !