Fixed trivial out-of-level bug.