Some last-minute fixes to WS paper.