Possible fix for Travis build issue