Oh, you're right. I just copy-pasted that from something else, and the compiler didn't catch it because it's only in the comments.