Fix the documentation