A friend forgot to change their document name when submitting it