I don't think the jenkins failure is related to the documentation update proposed in this pull request. Could you please review? Thanks.
Thank you, looks good.
Commit 5b75fb68 fixes this pull-request
Pull-Request has been merged by astepano