fix type casting

(issue #2)
add missing namespace prefix