And a third bug fix