Fix bug in dummy import for documentation build.