Minor fixes and improvements to internal compiler/runtime documentation