Fix obvious bug in print_state.