tiny fix for two typos

Should we add a 1.7.2 entry in the changelog too?