fix syntax error mentioned in #23