renamed manual and print_manual