A few small corrections.