Correct a typo in the definition syntax

* Insert a missing `do` to start the `define` block