Fix the copyright, this code belongs to Thomas