Very good ;-)

But his name's still wrong. Honestly, the things that pass for journalism these days. Wouldn't have happened in my day. Mutter mutter mutter.