Corrections to typos from changing names of projects