fix some Integer to Int type in method signatures