A few small corrections