Minor changes to javadoc documentation