fix travis error, add semi-colon