updates for Buffet camera-ready ; README update