(bkz: #132144)