Fix bug in bash init script