small fix on bash whitespaces