Fix bootstrap problem reported by Han Boetes.