minor corrections to Debian install