Docs cleanups, fixes #428