[No review required] Fix MIB definition