minor fix: copyright notice
abort-state: stopping state when all sites reach aborted state