[fixes #80384750]