bugfix in prun