correct syntax error (fixes #3956)