Fix minor problems in Debian install docs