Fix a syntax error in 393b0d3d.