Sure, this is a bug. @olmar why it is so?