Minor (and pedantic) corrections