fix major bug in enumMatrix.getVector