edited out spurious comment