even more bash syntax fixes