Some small fixes

Bash files extension is now .sh, I think this is more clear what content it is and how it should be executed.

Some assertions are a little bit confusing. I changed this one to get rid of a pep8 warning.