[Bug #8660] minor lint warning fixed