comments: 1 minor correction