fix bug in Matrix.times (dimension)