No need for the cast here