Yep, looks like a bug. Thanks for catching!