Small modifications for bash files