Fixed bug in Travis Ci setting