a few typos in s00 corrected