Fix a syntax error

[Delivers #68747820]