Corrected comment for bug#8719