fix syntax error uncovered on linux