Robin Williams was great