A minor documentation re-structuring