Some further minor corrections