some minore corrections