Fix unexpected `int`