Fixed: git pushing to wrong remotes.
Merge branch 'master' into mu_mind
Typos.
Merge branch 'master' into mu_mind