Fix typos found by Bjoern Jacke <bj@sernet.de>