NEW UPLOAD from local repo - something mysterious had went wrong on github (?), should be fixed with this commit