minor js pruning