Fixes an error in a pull request

Ref. :
https://github.com/contao/docs/commit/a784419fa75cd011a4a1ecaf46b6bdaf91
5ffd94#commitcomment-4583154