fixed a syntax error which happened on travis