minor fix in mkv extractor