Some notation change.