scripts/ips.bash: minor edit