Minor Update for
#. where
#. assume
#. string
Merge branch 'origin/master'
Revert "Merge branch 'origin/master'"

This reverts commit d3811e140a9050807670ca7d76bd95f89f061c3f, reversing
changes made to 3e47d1176fa31bd7cf0adef39a1c421f83201ea1.