Document previous bug fix