minor fix for bash