updates

minor html output fixes. javadoc.