Cleaned, optimized.

This file is copyrighted. It will be used in a way that qualifies as fair use under US copyright law.