This is now fixed