added bugfix to deadlock extraction from 8fed8cc6d39bdf9d3e66d8188eddc66e95a8bc74