Fix a typo in the nat isabelle translation