Two small cleanups

Fix up some minor stale documentation.

Remove an extraneous `where` I found in the code while doing the former.