dumb change to make travis work again