A minor bootstrapping bug was fixed.