Yet another very small documentation addition