scripts/ips.bash: minor edit/update