Fix: Unknown int