We knew this, but it's confirmed May 29, 2008 "Bureaucrats have no sense of humor". Link via Instapundit.