Correcting a few mistakes