fix bash highlight