Thank you, Jacko - fills in the gaps in my memory.
Slightly OT, but wrt Richard Todd, he, of course, took part in another 'epic' of WW2, namely seizing Pegasus Bridge. Useful background info for when he later played his own CO [I'm fairly certain he was one of Major John Howard's men] in The Longest Day