Update: mistakenly doubly pasted code removed

I mistakenly pasted the code two times on the same file. Thanks to Sebastian for spotting the problem.