bash syntax fixes