More fixes on the documentations

Hopefully this was the missing rest :)