Fix typo

Semantics say nat instead of bool
Merge pull request #2 from alexbate/patch-2

Fix typo