Invalid model issue on a simple instance

[merlinsun]

Hello,
For this instance, z3 84b9204 gives an invalid model.

$ cat small.smt2 
(declare-fun i () Int)
(assert (> (rem i i) 0))
(check-sat)
$ z3 model_validate=true small.smt2
sat
(error "line 3 column 10: an invalid model was generated")