Remove useless file. Minor fixes.