correcting some misprints indicated by mathias