Fix: a minor bug.