Yep, this was definitely a bug - good catch!