[BUG #6849] minor issue