Fixes #(Verify that a model is valid)

Make it easier to understand.