Fix bug in a setup document.