Similarly to a comment above, shouldn't this be wrapped in an `int()`?