Fix typos

These look like typos in filenames and command names. Please check again before applying.