Fix maxint declaration