Fixes development environment set-up with docker (1726)