Fix a syntax mistake, thanks to @as77c.