fix travis maybe? I think I am missing something