boinc overwrites user corrections, now fixed