[Bug #8769] Minor