Minor bash fixes