Yes, the fact that "BBC4" and "Channel 4" are completely different things is (understandably) missed by nearly everyone outside the UK.