Thanks; but as it happens, that error was caught and fixed about eight hours ago. Perhaps you need to clear your browser cache.