Improved HeaderDoc documentation of internals.