Minor fixes to internals.org