Thanks :) Should I open a ticket even if this issue seems to be already resolved in the next release?