You can just delete this extraneous comment.