Removed erronous copy-pasted file