Correcting compilation