invalid bug

[jpenilla]

this is not a real problem

[github-actions]

This issue describes itself as "not a real problem" and the title explicitly calls it "invalid." Closing as not a legitimate issue.