fix syntax error (fixes #1)