Change repo to fix weird IntelliJ IDEA errors.