Another fix for Travis.