Small addition for Travis