Fixing license headers for the OpenFileState work