Corrected name of Linus Torvalds