NO BUG - Fix mistake introduced in a merge to fix this CLOSED TREE