Yeah - even though rms would still complain about that sentence, the first version is just painfully wrong. Why bother to distinguish between the OS and the kernel if you're going to attribute the former to the wrong person? It's not like the kernel is named after him or anything!