Minor enhancements to Docker doc.