Correcting some mistakes