Corrections for bash highlighting