Minor corrections here and there.