Fix directory. The new files were lost during push...