Barry Simon quote

In the back of my mind, I have the strong recollection (though perhaps I am confabulating) that Barry Simon once jokingly wrote something akin to

"Let $H$ be a Hilbert space, taken to be separable (are there any other sort?)..."

Can anybody please confirm this, and offer a reference to where the real quote was written?