Correcting some misprints