Minor typo in pruned equations fixed