Back up previous change, which was not really a fix of any bug, let alone the bug it seemed to have fixed.