Minor change in the compilation