fix abstract, and clarify usage of "samehash"