No need for static_cast here