minor change: new symbol, rm comment.