Thanks for Kees for spotting my typos

Change-Id: I87741a50d9acf65abbe382701881f2ad67ac8f71