Fix subtle bug.