Minor tweaks for documentation and code formatting