Minor corrections to javadoc