Fix the comment so our doctools can pick it up