doc-other/03-install.dox: fixed an issue