Minor: Adjust indentation in DbC body