Minor change in SeqTest, testing commute.