Correcting small errors.
Changes requested by Jochen.