I noticed that this file didn't had the correct Copyright, so I added it. But I can remove it if this wasn't a mistake.