Fixed int c bug