Updates on docker

Minors updates on docker documentation