You're right.  Fixed in this commit: 5073e2f73eb13e7fb126863f391d329a5864bb14