fix a few minor bugs
fix pruning