other bash fixes