tweak docs, fix warning