These two files accidently got a wrong license header.