Add note about #3087