Bernhards typos fixed.