Never noticed (or never committed to memory after noticing), but yeah, how could that opportunity be left untapped. He was a perfectionist engineer of jokes, the entertainer equivalent to that proverbial Scala coder who'd rewrite the entire thing if he came up late with an idea to monadify away yet another side effect. May he rest in peace, and may upcoming generations memorize that movie just like we did (it was already twenty years old when I started falling for it)