Minor documentation improvement about pointer tagging.