Minor fix for docker doc [skip ci]
Minor fix for docker doc [skip ci]


Former-commit-id: 1ae2d5a3d9d99af618daf3f3ecca27ec8731cc5b [formerly 0393d0c7eeb51100b10be45e574385503b5a5976] [formerly 0393d0c7eeb51100b10be45e574385503b5a5976 [formerly 4bdd94ba0bcc8f6f1e664e205e20889c41eb8fb2]]
Former-commit-id: 7acca909aa61718e24f461073443d649ac6c05a6
Former-commit-id: df63b4290f9c505ae73157cacb6dea33cc988a2c
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine