Fix error due to github redirection mechanism

Thanks Chepas for reporting the bug