Update FSF address in a couple of headers

The headers were using the old FSF address.