bug fixes in instlAdmin.py