yes, looks like a bug