Fix a warning thrown by 008filter.t