JavaDoc tweaks.