Finally, a minor point that was raised with me by a colleague who had to leave early.
I would like to finish off on a minor point.
