Exactly what I thought! Which is why I submitted a (now merged) PR yesterday with this commit: 868aba687d116491cd0e95fd8385c953b40f745c

This change should no longer be necessary.