I think you are confusing Dennis Ritchie with Ken Thompson.