Small fix in NAMESPACE