Fix up Javadoc