Good idea -- now fixed.