Javadoc fixups