Minor change in bash functions.