bug fix in NAMESPACE