Fixing small documentation inconsistency