Nice documentation, nice style fixes.