Fixed (hopefully last) code formatting tweaks in documentation.