No change needed here--this is just an integer.