Erroneously added licensing information to this file.