Updates

There's no better way of (that I know of) to push such a bad/messy
commit (along with its message), but there it goes… ;-)