Updating: improving prelude/matrixptr.