fix docker instructions