More Javadoc fixes