Docker instructions: format modified.