One last change to the distribution checklist.

Leo build: 20141108055021