Minor bash script fixes.