Further JavaDoc tweaks.