Correct copy-paste error

I accidentally turned a negative test into a positive one, making the test suite fail. This corrects this issue.

Related to issue #4.