Docker instructions:  modified.