See merge request !486 (merged)
(cherry picked from commit 5771a5c6)
49280c68 Fixed mistake in documentation