Bugfix in MIFDescriptors.cpp.