maybe this solves [#72400844]