Fixing the dockerfile

Fixes #435