More typos found by Tim Tvrtković.