Commit 67dd314086fd743f2fc5032e9c7ff901cb5e8bab

Carlos Martín Nieto 2016-10-16T12:57:29

Merge pull request #3966 from vivaladav/documentation-fixes patch: minor documentation fix.