Fix for Travis-CI