probably I should create a ticket for that in github then?