Update comments for #644 fix