That's a bug. Thanks!