Fix syntax error pointed out by @tv42.