[BUG #8400] Fix syntax error