Fix syntax error #4432

#4432