Fix the documentation for printing