note a caveat about print_topbitchars