Fix shell capitalization

"SH" and "BASH" just look unnatural. Updating to reflect common usage.