Commit 190382b75f5bf498183f77a3543e7a6a1a2e3015

DRC 2020-10-14T15:14:26

ChangeLog: Fix minor formatting issue