doc: fix for documentation build error.