Editorial fix in comments