Add headers

These two files were missing their headers.