One of the bugs has been fixed.