Fix for Travis Jacoco failure