Fixed Travis problems