Minor paper updates.