minor static cast