slight fixes to Debian install doc

This rather complicated process worked almost flawlessly, thanks for taking the time to write this premium-quality doc !

However, there are some typos remaining, here is my attempt to squash'em :-)