fix bash highlighting