Now that we parameterize, don't need the casts