Fix @cvan's syntax error

I don't even want to offer speculation.