some fixes to https-admin.sh