Whoops.  Now it is really fixed.