add note on #876