bugfix: state_to_string