Typos pointed out by Bernie