Fixes #17: Wrong example in test definition