Possible documentation error

Summary

At https://docs.gitlab.com/ee/user/permissions.html#permissions, it says

"If a user is both in a group's project and the project itself, the highest permission level is used."

Expected behavior

"If a user is both in a group's project and the group itself, the highest permission level is used."

(at least that makes more sense to me, as the structure seems to be Group -> multiple projects, didn't have the chance to explore much yet :) )