fix tiny 15869 paper typo