small fix for Travis