docs, minor cleanup