This file should also be deleted.