Fix broken documentation in Repo

... as reported by the PHPStorm code analysis.

Change-Id: I696d0e9f3e3edfd15f7252e937794a36d0cc57ed