Fixed rounding error in getStateTransitionCounts.m