Document bug fix