I left part of the old header in this file by mistake. It's gone now.