[fixes #72684580]