Fixed minor bug in docker setup
Fixed minor bug in docker setup

jhausladen/esclide,jhausladen/esclide,jhausladen/esclide,jhausladen/esclide,jhausladen/esclide,jhausladen/esclide,jhausladen/esclide,jhausladen/esclide