fix docker installation instructions