More documentation fixes, especially about the parameter default values. Also a few formatting fixes.