codedoc tweaks.