Correction to bash sleep command