Better naming - distinguish generic shell from particular bash