doc/manual/installing: minor fixes