Improvements to ivs.bash