Previous commit introduced disastrous tree-zeroing bug: fixed.