Minor change to make travis work again