Fix broken micro-states in syl20bnr contrib