small fix for max int