Some small improvements are made.