Fix syntax error (Bug #13464).