simple cleanups

Some of the docs are not up to date. This fixes it.