scripts/ips.bash: minor update