Little fixes by A. Spiwack.