Remove extraneous file, change style