Fix build of documentation