Use static_cast instead of dynamic cast