That's almost certainly a bug. Thanks for reporting it.