Documentation bug fix