Fix bug that was preventing the generation of the documentation