Add documentation for the weird bug fix