correction

correction from Linux