Minor commit

Documentation of associated previous commit