This change fixes the comment in #2584.