quick edits of 8.1.2 version history items for #3894 and #3897