Fix: a recent minor bug.