ROBUSTNESS: Added forgotten NAMESPACE imports.