fix extra syntax bug identified in #4538