touch-ups to the javadocs