Small fixes in the BashPlugin.