Added argument type verification