Fixes #13832 Signed-off-by: Michal Čihař <michal@cihar.com>
This is probably more widely used naming. Signed-off-by: Michal Čihař <michal@cihar.com>