Small corrections for Linux

(...)