Fix: a minor new bug.