probably they should have copyright notices, though of course such notices have absolutely no legal significance whatsoever. I will make sure these three files get copyright notices.