fix a simple problem with $ in bash