A comment is corrected.