minor corrections to debian install instructions