Hurkens.v: Fix a syntax error.

Introduced in c74a70a73b3bf39394c551f1cdb224450bf77176.