Remove erroneously-included files. (#6)