correction compilation tests