docs/INTERNALS: follow up fix for 11e8066 and 92b9ae5