Some boring bugs are now fixed