(bkz: #80267)