Updated description and typesetting.