it can only be greater than 0 at this point (checked at line 695) so this is fine