Fix minor bug in :print_state debugging code.