<a title="Some minor cleaning up." href="https://github.com/opencor/opencor/pull/2087">PR #2087</a>: Some minor cleaning up.