[FIX] FMIndex: fixed device types