[BUG #7184] satisfy lint