Minor bug fix to a data type that was incorrectly type cast to int.