Fix compilation of documentation