Fixing a subtle bug.