Fix a bug in the rectangular matrix vector multiplication