more typos
Merge commit 'fa466f7558417af2b8a62da7f908a3ef9c6602a1' into utf8
propagate merge in html/
smarter make tars