Fix makedocumentation.py