correction bug compilation