A comment's spelling is corrected.