Docs and coding style tweaks.