Z3: fix repeated text