Fix for Travis build