update namespace.c: fix int error