Fixed a stray file