A few small modifications.