Minor corrections for presentation