Minor bash tweaks