Fixes to JavaDoc sections