Typo fixes from dsteinbrunner