LINUX : corrections