This is being fixed. It is requiring the market be brought down for a very short time to implement the fix. Thanks for reporting this promptly.