Remove extra file

Forgotten file removed.