v1.2: Minor change.