No need for additional casts