am 51675b96: am d6c93101: Merge "Fix typos spotted by Andreas."

* commit '51675b96d1386caaaf1cb16901eb040ddbda1336':
  Fix typos spotted by Andreas.