fixing int cast