[FIX] DOM API, isSameNode(). Closes #715