Fixed Travis configuration