Added to the COPYRIGHT file too