fix syntax error; related to #92