Correcting some mistakes in memory management