Fix 404 error.

They have changed the filename.