Roasted green beans with pine nuts

For Thanksgiving this year, I fixed a variation of our favorite Roasted Green Beans with Herbs, using a thinly sliced onion and smoked paprika instead of the garlic and herbs.  I toasted some pine nuts and set them aside to add to the beans during the last 10 minutes or so of roasting.  Very tasty!