Mild bash script alteration