Javadoc

Some minor changes to the javadocs.