I just created issue #416 for this and will remove this comment.

Fixed in 7bcd211cf5ba1b9b2f4ffc16328115cbd515807d.