With the comment by @fcampo, do I need to just remove it in this bug?? It seems useless now.