Correct stopdocker file extension
Merge pull request #1 from OlivierCuyp/master

Correct stopdocker file extension