FIX syntax error

Fix a syntax error introduced by #9.