Fix copy/paste bug

Closes #285
Merge pull request #286 from frenetic-lang/typo

Fix copy/paste bug