Corrected comment for #12.