Minor javadoc updates