style fixes and bash-specific stuff