Fix command generation for the model.

This resolves a bug in the QuickCheck model which makes the current test cases succeed.