undo fix for bug 884034, doesnt seem to be needed after all (?!?)