RIP Barry Dennen 1938–2017