More on how to use docker