various small errors corrected