Correct documentation build