I did submit a ticket. But I was not aware this could be a bug then. Is bug report different from submitting a ticket?