A little-known fact about the filming of *Cleopatra*