Fix typo

Semantics say nat instead of bool