Fix potential travis issue