See my remark below: This method does not need to throw any exception (and, indeed, an `assert` is not in place).