Why not use `positionEC` above, which is computed correctly (uses the right view matrix) and takes into account the eye offset?

We can ignore the pixel offset I suppose.  Look at the STK code if you didn't already.