what's going on here? Casting to a tuple?