added a todo about #3217