Fixed stupid bug that blocked the downloading of files from the github
repo.