Some files I forgot to delete in previous commit