Small adjustments to MatrixMarket.