Deleting apparently half-written comment.